Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax

نویسندگان

  • Bernd Fischer
  • Eelco Visser
چکیده

AUTOBAYES is a fully automatic, schema-based program synthesis system for statistical data analysis applications. Its core component is a schema library. Le., a collection of generic code templates with associated applicability constraints which are instantiated in a problem-specific way during synthesis. Currently, ALTOBAYES is implemented in Prolog; the schemas thus use abstract syntax (Le., Prolog terms) to formulate the templates. However, the conceptual distance between this abstract representation and the concrete syntax of the generated programs makes the schernas hard to create and maintain. In this paper we describe how AUTOBAYES is retrofitted with concrete syntax. We show how it is integrated into Prolog and describe how the seamless interaction of concrete syntax fragments with AUTOBAYYES’S remaining “legacy” meta-programming kernel based on abstract syntax is achieved. We apply the approach to ,-dually mi,orate individual schemas without forcing a disruptive migration of the entire system to a different meta-programming language. First experiences show that a smooth migration can be achieved. Moreover, it can result in a considerable reduction of the code size and improved readability of the code. In particular, abstracting out fresh-variable generation and second-order term construction allows the formulation of larger continuous fra,ments.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Adding Concrete Syntax to a Prolog-Based Program Synthesis System

Program generation and transformation systems manipulate large, parameterized object language fragments. Support for user-definable concrete syntax makes this easier but is typically restricted to certain object and meta languages. We show how Prolog can be retrofitted with concrete syntax and describe how a seamless interaction of concrete syntax fragments with an existing “legacy” meta-progra...

متن کامل

Adding Concrete Syntax to a Prolog-Based Program Synthesis System (Extended Abstract)

Program generation and transformation systems manipulate large, parameterized object language fragments. Support for user-definable concrete syntax makes this easier but is typically restricted to certain object and meta languages. We show how Prolog can be retrofitted with concrete syntax and describe how a seamless interaction of concrete syntax fragments with an existing “legacy” meta-progra...

متن کامل

Seismic Retrofitting RC Structures with Precast Prestressed Concrete Braces- ABAQUS FEA Modeling

Precast prestreesed concrete braces are a new method for seismic strength of Concrete Structures which has the following benefits: a) no wet concrete work in construction site b) No bolt or anchorage to the existing frame c) easy to apply d) short construction period e) low construction cost, to evaluate seismic performance of strengthened structure a model consist of existing frame and concret...

متن کامل

Analysis of Air Traffic Track Data with the AutoBayes Synthesis System

The Next Generation Air Traffic System (NGATS) is aiming to provide substantial computer support for the air traffic controllers. Algorithms for the accurate prediction of aircraft movements are of central importance for such software systems but trajectory prediction has to work reliably in the presence of unknown parameters and uncertainties. We are using the AutoBayes program synthesis syste...

متن کامل

Applying AutoBayes to the Analysis of Planetary Nebulae Images

We take a typical scientific data analysis task, the analysis of planetary nebulae images taken by the Hubble Space Telescope, and describe how program synthesis can be used to generate the necessary analysis programs from highlevel models. We describe the AUTOBAYES synthesis system, discuss its fully declarative specification language, and present the automatic program derivation starting with...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2003